Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
791	Perl versiondocumentation - perlrebackslash NAME perlrebackslash - Perl Regular Expression Backslash Sequences and Escapes DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:27:25 Computer programming Control characters Regular expressions Formal languages Perl Compatible Regular Expressions Escape character Newline ASCII Octal Computing Character encoding Pattern matching
792	Minimum Satisfying Assignments for SMT? Isil Dillig1 , Thomas Dillig1 , Kenneth L. McMillan2 , and Alex Aiken3 1 College of William & Mary 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-04-19 15:56:45 Model theory Formal languages Metalogic Boolean algebra Interpretation First-order logic Satisfiability Function Well-formed formula Logic Mathematical logic Mathematics
793	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
794	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William R. Marczak1 , Peter Alvaro1 , Neil Conway1 , Joseph M. Hellerstein1 , and David Maier2 1 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-09-05 02:41:30 Linguistics Logic programming Model theory Formal languages Stable model semantics Schema Interpretation Negation Semantics Logic Mathematical logic
795	Lex - A Lexical Analyzer Generator Add to Reading List Source URL: epaperpress.com Language: English - Date: 2013-03-28 22:18:26 Parser generators Compiling tools Formal languages Compiler construction Combinatorics on words Lex Regular expression Yacc Printf format string Computing Software Programming language implementation
796	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
797	Benjamin Loomis Working Paper A NOTE ON GENERATIVE DESIGN TECHNIQUES: Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2015-03-15 17:01:43 Applied mathematics Mathematics Evolutionary algorithms Mathematical optimization Cybernetics Shape grammar Formal grammar Natural selection Crossover Genetic algorithms Science Formal languages
798	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
799	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, see Appendix B. Syntactic abstraction, the set of techniques for extending the Joule syntax, is discussed but not specified in this docum Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
800	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction

UPDATE